mine shoring carpenter - German English Dictionary